Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property

Authors: Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Carmen Mezura-Godoy

Research in Computing Science, Vol. 99, pp. 9-18, 2015.

PDF: Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property
PDF: Towards a Reasoning Model for Context-aware Systems: Modal Logic and the Tree Model Property